Formal Methods for Interactive Systems F M I S 2 0 0 6 Formal Methods for Interactive Systems F M I S 2 0 0 6
نویسندگان
چکیده
Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface. This report includes pre-event versions of all papers accepted for presentation at the 1st International Workshop on Formal Methods for Interactive Systems (FMIS 2006) held on 31 December 2006 in Macau SAR China, as a satellite event of ICFEM 2006. FMIS 2006 is organized by UNU-IIST in collaboration with the Human Error Modeling (HUM) project sponsored by EPSRC on research grants GR/S67494 and GR/S67500. The aim of this workshop is to bring together researchers in computer science and cognitive
منابع مشابه
An integrated framework for interactive multimedia presentations in distributed multimedia systems
! #"$ # %& ! "' $ ( ) * ! +"',!"' # . #" "',! / %0 1 2 %0 3% 45 6"' $ 0 "#7 ! # % #"$"$ 89 :4;%0 3 #%& # $*<(= "$ > $ # 0 0 ? 0 = > % @A* ( 0 !@5 ! /? $ "$ "$"$ %& B%2 C D E@ %0 FG7H = "$ D $4I 0 # A4;%0 8J ? ! K L #"$ # 2 %0 "#MON / P G% @ Q%04 "', !* / %0 1 2 %0 R %H " "A % / S"',! / %& 1 %& +"$ G # # * T %0 "U = V "$ C W 0 C %0 "#M XY %0 G%&"$ 0 Z # H $*<( 0"$ "',! C/! %& 1 2 %& [ %H \ / ] 0...
متن کاملFormal series solutions of singular systems of linear differential equations and singular matrix pencils
A system of n linear differential equations xy'{x) =x~8B{x)y(x) is considered, in which s is a positive integer and B(x) is a formal power series. In a preceding paper [6] the author has developed a method for evaluating a formal fundamental matrix solution to the system. This method leads to the algebraic treatment of certain singular matrix pencils. In the present paper the author provides so...
متن کاملInteractive Visualization of Multidimensional Feature Spaces
! "# $ % % # & &'( )* ) ,+ , #) ) % ,-. / 0 1 ' % # #243 5'( )* 6 6 ' + # #)* / 87* 9 : # ;7 )< )9 %-$ = ) >-? / 0, # #@& 0 % A7 % ) # #@B # % % > = % ! ; C D 0 ! < ! + = # $ %-E A @( 2GF % A %)H %)< I 0 ) ) -. # 0 #@< )< ,0 6 G JK # LM ) # N -O G $ P+ P I # Q@ G G '( ! %)* R 0 )< , = ! %) S C )* + # %) %-T ) L U ,0< &-. / 0 # 5 %) 9 I ' / %) )S $ = 0 0 $ -B 1-? / 0, T '< # 2 ): C'< '( /@WV& #0...
متن کاملLinguistic analysis of spontaneous children speech
! " "#%$& ' ( *)+ , ./% 0 -1 + # &2 +$ 03 % )! 4 5) 6 0' -*#% ,7 8 4 )+ ' )+$ 9 4 0' :6;)+ <0' -=2 # > + + "?@ )BA CD E ' +0 F G = H + & *IJ ( #K0' ' 0 L * :0 )+I" $& E L ! +I" !MKN9 + O #K ! #& E 3 4 #& L O $ #& # 6;)+ ' I" 5 4$&0E P + 5 & )+ Q #F 4 R &0 Q#%$& ' )+ , S 4 +T ' ( ! U $ &0 V:WXI" 4 & )+ )!$& 0 * ( *)+ G #Y & 4 = ' )! & 'ZE )R0 +[ $%2 -* ( 4VY 4 \ #J* & !$& * 0< + * +[& -* = VYI" ...
متن کاملSelf-Organization and Complex Dynamical Systems in the Evolution of Speech
t h e m s e l v e s i n t h e p e r s p e c t i v e o f r e s e a r c h o n t h e o r i g i n s o f s p e e c h , a n d d o n o t a s k t h e q u e s t i o n w h e r e t h e s o u n d s y s t e m t h e y a s s u m e c o m e s f r o m . T o i l l u s t r a t e t h i s p r o c e s s , I w i l l r e d o s o m e s i m u l a t i o n s s i m i l a r t o t h o s e p r e s e n t e d e a r l i e r , b u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006